601. Theory and Design of Digital Computer Systems
پدیدآورنده : by Douglas Lewin, David Noaks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Microprogramming.
رده :
TK7888
.
3
B936
1992
602. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
603. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
604. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
605. Topological data structures for surfaces :
پدیدآورنده : editor, Sanjay Rana
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geographic information systems,Geography-- Data processing,Information storage and retrieval systems-- Geography,Géographie - Informatique,Systèmes d'information - Géographie,Systèmes d'information géographique
رده :
G70
.
212
.
T675
2004
606. Transactions on computational science XIV :
پدیدآورنده : Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
رده :
QA76
.
27
.
T73
2011
607. Transactions on rough sets IX
پدیدآورنده : James F. Peters, Andrzej Skowron, Henryk Rybiński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Rough sets.,Set theory.
608. Unconventional computing :
پدیدآورنده : Andrew Adamatzky, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Natural computation.,Artificial Intelligence.,Complex Systems.,Computational Biology/Bioinformatics.,Computational Intelligence.,Quantum Computing.,Theoretical and Computational Chemistry.,Computer science.,Natural computation.
رده :
QA76
609. Understanding complex datasets
پدیدآورنده : / David Skillicorn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Data mining.,Data structures (Computer science),Computer algorithms.,Matrices.,Decomposition (Mathematics)
610. Understanding complex datasets : data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343S57
611. Understanding complex datasets :data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343
S62
2007
612. Understanding complex datasets data mining with matrix decompositions
پدیدآورنده : David Skillicorn
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Data mining,Data structures )Computer science(,Computer algorithms
رده :
QA
76
.
9
.
D343S62
2007
613. Variable neighborhood search :
پدیدآورنده : Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
رده :
QA402
.
5
614. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
615. Visual Computing :
پدیدآورنده : edited by Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Computer science.
رده :
T385
.
E358
1992
616. Visual information and information systems :
پدیدآورنده : Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Informatiesystemen.,Information display systems -- Congresses.,Information display systems.
617. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
618. WALCOM: algorithms and computation :
پدیدآورنده : Gautam K. Das, Partha S. Mandal, Krishnendu Mukhopadhyaya, Shin-ichi Nakano (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer algorithms.
رده :
QA76
.
9
.
A43
619. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
